-- Missing function declaration
    DEF MAIN:bool == def(1,1)
